Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
511	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
512	Hole Pinning Clearance Fritz Scholz∗ Research and Technology Boeing Information & Support Services Abstract Two parts, each with two holes, are to be pinned together by some type of fastener. Nominally the holes on par Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2001-04-05 16:30:30 Quality Engineering Knowledge Engineering tolerance Metalworking terminology Metrology
513	HOMOLOGICAL PROPERTIES OF FINITE TYPE KHOVANOV-LAUDA-ROUQUIER ALGEBRAS JONATHAN BRUNDAN, ALEXANDER KLESHCHEV AND PETER J. MCNAMARA Abstract. We give an algebraic construction of standard modules—infinite dimensional mo Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2013-07-01 22:40:37 Algebras Ring theory Quantum group Graded algebra Quiver Vector space Proj construction Root system Exterior algebra Abstract algebra Mathematics Lie algebras
514	Type the title of your abstract here (Arial, Bold, sentence case, 11 point font size, centre justified) Type Authors here (First name and surnames in lower bold case, Arial, 11 point font size) Type Author Affiliations Add to Reading List Source URL: cricketcongress2015.org Language: English - Date: 2014-04-21 19:52:02 Italic type Abstract Letter case Printing Moscow Oblast Jerry Avorn Typography Arial Graphic design
515	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
516	Part III Application Structure 401 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Data types Type theory Source code Holism Type system OCaml Abstract data type Caml Software engineering Computer programming Computing
517	A Simple Proof Technique for Certain Parametricity Results Karl Crary Carnegie Mellon University Abstract Many properties of parametric, polymorphic functions Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-02 15:12:25 Computing Parametricity Stack Polymorphism Unit type Type theory Software engineering Data types
518	Alias Types for Recursive Data Structures ∗ David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:54:02 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
519	The LATEX3 Sources The LATEX3 Project∗ March 1, 2015 Abstract This is the reference documentation for the expl3 programming environment. The Add to Reading List Source URL: www.tex.uniyar.ac.ru Language: English - Date: 2015-04-07 06:32:19 Functional languages Type theory Variables J Software engineering Computing Computer programming
520	ABSOLUTE GALOIS ACTS FAITHFULLY ON THE COMPONENTS OF THE MODULI SPACE OF SURFACES: A BELYI-TYPE THEOREM IN HIGHER DIMENSION ROBERT W. EASTON AND RAVI VAKIL A BSTRACT. Given an object over Q, there is often no reason for Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-07-31 17:36:23 Birational geometry Moduli theory Absolute Galois group Enriques–Kodaira classification Moduli space XTR Étale cohomology Abstract algebra Algebra Galois theory

UPDATE